|
(if ( 'accounting data'.'reporting agent identifier' = 'instrument'.'reporting agent identifier'
and 'accounting data'.'observed agent identifier' = 'instrument'.'observed agent identifier'
and 'accounting data'.'contract identifier' = 'instrument'.'contract identifier'
and 'accounting data'.'instrument identifier' = 'instrument'.'instrument identifier'
and 'accounting data'.'reporting reference date' = 'instrument'.'reporting reference date'
and 'accounting data'.'cumulative recoveries since default' = "Non-applicable"
and (( 'instrument'.'reporting agent identifier' = 'financial data'.'reporting agent identifier'
and 'instrument'.'observed agent identifier' = 'financial data'.'observed agent identifier'
and 'instrument'.'contract identifier' = 'financial data'.'contract identifier'
and 'instrument'.'instrument identifier' = 'financial data'.'instrument identifier'
and 'instrument'.'reporting reference date' = 'financial data'.'reporting reference date')
and (( 'instrument'.'reporting agent identifier' = 'debtor-instrument data'.'reporting agent identifier'
and 'instrument'.'observed agent identifier' = 'debtor-instrument data'.'observed agent identifier'
and 'instrument'.'reporting reference date' = 'debtor-instrument data'.'reporting reference date'
and 'instrument'.'contract identifier' = 'debtor-instrument data'.'contract identifier'
and 'instrument'.'instrument identifier' = 'debtor-instrument data'.'instrument identifier'
and 'debtor-instrument data'.'reporting agent identifier' = 'debtor'.'reporting agent identifier'
and 'debtor-instrument data'.'reporting reference date' = 'debtor'.'reporting reference date'
and 'debtor-instrument data'.'counterparty identifier' = 'debtor'.'counterparty identifier'))))
(then (( 'debtor default data'.'default status of the counterparty' = "Not in default"
or (not exists 'debtor default data'))
and 'financial data'.'default status of the instrument' in ("Not in default", "Non-applicable"))))
|